Arithmetic topology